Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
3

A–maze–ing Esterel

Joaquin Aguado, Michael Mendler, Gerald Lüttgen
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2004
Мова:
english
Файл:
PDF, 345 KB
english, 2004
4

Preface

Joaquín Aguado, Michael Mendler
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2008
Мова:
english
Файл:
PDF, 98 KB
english, 2008
5

Preface

Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2005
Мова:
english
Файл:
PDF, 67 KB
english, 2005
6

Constructive semantics for instantaneous reactions

Joaquín Aguado, Michael Mendler
Журнал:
Theoretical Computer Science
Рік:
2011
Мова:
english
Файл:
PDF, 588 KB
english, 2011
7

Towards a Model Theory for Esterel

Gerald Lüttgen, Michael Mendler
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2002
Мова:
english
Файл:
PDF, 982 KB
english, 2002
8

Newtonian arbiters cannot be proven correct

Michael Mendler, Terry Stroup
Журнал:
Formal Methods in System Design
Рік:
1993
Мова:
english
Файл:
PDF, 1.46 MB
english, 1993
9

Editorial: Where Theory and Practice Meet

Manfred Broy, Gerald Lüttgen, Michael Mendler
Журнал:
Formal Aspects of Computing
Рік:
2003
Мова:
english
Файл:
PDF, 49 KB
english, 2003
10

Editorial

Manfred Broy, Gerald Lüttgen, Michael Mendler
Журнал:
Formal Aspects of Computing
Рік:
2004
Мова:
english
Файл:
PDF, 41 KB
english, 2004
11

Towards Constructive DL for Abstraction and Refinement

Michael Mendler, Stephan Scheele
Журнал:
Journal of Automated Reasoning
Рік:
2010
Мова:
english
Файл:
PDF, 1.29 MB
english, 2010
12

Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic

Michael Mendler
Журнал:
Formal Methods in System Design
Рік:
2000
Мова:
english
Файл:
PDF, 184 KB
english, 2000
13

Intensional Completeness in an Extension of Gödel/Dummett Logic

Matt Fairtlough, Michael Mendler
Журнал:
Studia Logica
Рік:
2003
Файл:
PDF, 5.34 MB
2003
14

Propositional Lax Logic

Matt Fairtlough, Michael Mendler
Журнал:
Information and Computation
Рік:
1997
Мова:
english
Файл:
PDF, 520 KB
english, 1997
15

Constructive Boolean circuits and the exactness of timed ternary simulation

Michael Mendler, Thomas R. Shiple, Gérard Berry
Журнал:
Formal Methods in System Design
Рік:
2012
Мова:
english
Файл:
PDF, 1.46 MB
english, 2012
16

Is observational congruence on -expressions axiomatisable in equational Horn logic?

Michael Mendler, Gerald Lüttgen
Журнал:
Information and Computation
Рік:
2010
Мова:
english
Файл:
PDF, 342 KB
english, 2010
17

Cut-free Gentzen calculus for multimodal

Michael Mendler, Stephan Scheele
Журнал:
Information and Computation
Рік:
2011
Мова:
english
Файл:
PDF, 374 KB
english, 2011
25

Special issue: Modalities in type theory

FAIRTLOUGH, MATT, MENDLER, MICHAEL, MOGGI, EUGENIO
Журнал:
Mathematical Structures in Computer Science
Рік:
2001
Мова:
english
Файл:
PDF, 228 KB
english, 2001
30

The intuitionism behind Statecharts steps

Lüttgen, Gerald, Mendler, Michael
Журнал:
ACM Transactions on Computational Logic
Рік:
2002
Мова:
english
Файл:
PDF, 404 KB
english, 2002
37

Timing Analysis of Synchronous Programs using WCRT Algebra

Wang, Jiajie, Mendler, Michael, Roop, Partha, Bodin, Bruno
Журнал:
ACM Transactions on Embedded Computing Systems
Рік:
2017
Мова:
english
Файл:
PDF, 825 KB
english, 2017
38

SCEst

Smyth, Steven, Motika, Christian, Rathlev, Karsten, Hanxleden, Reinhard Von, Mendler, Michael
Журнал:
ACM Transactions on Embedded Computing Systems
Рік:
2017
Мова:
english
Файл:
PDF, 2.46 MB
english, 2017